<?php


class LatestLeader extends manager
{
    public $name="大BOSS";
    public $myState=987;
}